relatively compact semigroup

相对紧半群